fix VLC playlist random order